Universal Access To All Knowledge
Home Donate | Store | Blog | FAQ | Jobs | Volunteer Positions | Contact | Bios | Forums | Projects | Terms, Privacy, & Copyright
Search: Advanced Search
Anonymous User (login or join us)
Upload
Search Results
Results: 1 through 50 of 88 (0.658 secs)
You searched for: subject:"Wolfram"
[1] 2     Next    Last
[audio]070616 - Sharing by Sis Wolfram (audio) - Alive Community Church
Sharing by sis Wolfram
Keywords: wolfram
Downloads: 66
[audio]070615 - Bro Wolfram Session 3 (audio) - Alive Community Church
Sharing by John Wolfram
Keywords: john wolfram
Downloads: 75
[audio]070615 - Bro Wolfram Session 2 (audio) - Alive Community Church
Sharing by John Wolfram
Keywords: john wolfram
Downloads: 80
[audio]070614 - Bro Wolfram Session 1 - Alive Community Church
Sharing session by John Wolfram
Keywords: john wolfram sharing
Downloads: 72
[audio]070617 - John Wolfram Testimony - Alive Community Church
John Wolfram Testimony
Keywords: John Wolfram Testimony
Downloads: 164
[audio]Travels in Ecuador - Billy Waller
Audio recorded in Ecuador between November 27 and December 6, 2009 of our medical mission team. Best Experienced with headphones!
Keywords: Ankuash; Don Wolfram
Downloads: 57
[texts]Wolfram Mathematica 9
Newsletters written specifically for the Wolfram community covering Mathematica, WolframAlpha, new products, discoveries, events, and more. Stephen Wolfram is the creator of Mathematica, the author of A New Kind of Science, the creator of WolframAlpha, and the founder and CEO of Wolfram Research. 50,817 Jobs available in Wilmington, MA on Indeed.com. one search. all jobs. Download Wolfram Research Mathematica 9 0 1 from Torrent Reactor torrents database or choose analog in Other...
Keywords: Wolfram Mathematica 9
Downloads: 42
[texts]Das Enjambement bei Wolfram von Eschenbach - Reinecke, Otto
52
Keywords: Eschenbach, Wolfram von
Downloads: 140
[texts]Wolfram Mathematica 8
More than the just wolframalpha.com, WolframAlpha covers mobile apps, widgets, api, and private custom versions. The newest interface is Mathematica. Mathematica 8 requires the following Hardware and Software specifications. Found direct downloads available for Wolfram Mathematica 8.0. Includes Crack Serial Keygen if applicable. New links added daily. Last updated 12-Sep-2013. Mathematica - a computer algebra system of Wolfram Research...
Keywords: Wolfram Mathematica 8
Downloads: 40
[movies]PhiveCast (iPod) Episode 1, WolframAlpha - Mark H. Delfs
Get a 5 minute or less screencast of WolframAlpha
Keywords: wolfram; tech; screencast; how-to
Downloads: 36
[audio]Kursentscheidung einer Weltmacht? - Helle Panke
DER XVIII. PARTEITAG DER KOMMUNISTISCHEN PARTEI CHINAS - KURSENTSCHEIDUNG EINER WELTMACHT? Mitschnitt einer Veranstaltung am 23. Januar 2013 in der Reihe "Politik im Gespraech" Referent: Dr. Wolfram Adolphi (wissenschaftlicher Mitarbeiter der Linksfraktion im Bundestag) Text der Veranstaltungsankuendigung: Der XVIII. Parteitag der KP Chinas nahm fast den selben Stellenwert in den deutschen Medien ein, wie die zeitgleich stattfindende Wahl des US-Praesidenten...
Keywords: Wolfram Adolphi; China; KPCh; Parteitag
Downloads: 42
[movies]Triangluation 7: Stephen Wolfram - TWiT
We talk to Stephen Wolfram, scientist, inventor, author, and business leader. Guest: Stephen Wolfram of Wolfram|Alpha links: http://stephenwolfram.com/ http://wolframalpha.com/
Keywords: twit; triangulation; tri; Stephen Wolfram
Downloads: 992
[audio]Children in the Ecuadorian village of Ankuash Singing. - Billy Waller
December 30th 2009 Ecuador.Children in the Ecuadorian village of Ankuash Singing.
Keywords: Ecuador; Ankuash; Don Wolfram; Billy Waller
Downloads: 60
[texts]Reimregister zu den Werken Wolframs von Eschenbach - Schulz, Albert, 1802-1893
26
Keywords: Wolfram, von Eschenbach, 12th cent
Downloads: 104
[texts]Scherz und Humor in Wolframs von Eschenbach Dichtungen .. - Kant, Karl, 1849-1934
Vita
Keywords: Wolfram, von Eschenbach, 12th cent
Downloads: 114
[texts]The source of Wolfram's Willehalm - Bacon, Susan Almira
The metadata below describe the original scanning. Follow the "All Files: HTTP" link in the "View the book" box to the left to find XML files that contain more metadata about the original images and the derived formats (OCR results, PDF etc.). See also the What is the directory structure for the texts? FAQ for information about file content and naming conventions.
Keywords: Wolfram, von Eschenbach, 12th cent
Downloads: 457
[texts]Die Sage vom Gral : ihre Entwicklung und dichterische Ausbildung in Frankfreich und Deutschland im 12. und 13. Jahrhundert; eine literarhistorische Untersuchung - Birch-Hirschfeld, Adolf, 1850-1917
26
Keywords: Wolfram, von Eschenbach, 12th cent; Grail
Downloads: 541
[texts]Über Wolframs von Eschenbach Rittergedicht Wilhelm von Orange und sein Verhältniss zu den altfranzösischen Dichtungen gleiches Inhalts - Schulz, Albert, 1802-1893
26
Keywords: Wolfram, von Eschenbach, 12th cent
Downloads: 171
[texts]Kritik und metrik von Wolframs Titurel - Pohnert, Ludwig
Book digitized by Google from the library of the University of California and uploaded to the Internet Archive by user tpb.
Keywords: Wolfram, von Eschenbach, 12th cent; Wolfram, von Eschenbach, 12th cent; German language
Downloads: 99
[movies]Microsoft Research Video 104383: Modular Static Analysis with Sets and Relations - Microsoft Research
We present a new approach for statically analyzing data structure consistency properties. Our approach is based on specifying interfaces of data structures using abstract sets and relations. This enables our system to independently verify thatEach data structure satisfies internal consistency properties and each data structure operation conforms to its interface;The application uses each data structure interface correctly, and maintains the desired global consistency properties that cut across m...
Keywords: Microsoft Research; Microsoft Research Video Archive; Wolfram Schulte; Viktor Kuncak
Downloads: 6
[movies]Microsoft Research Video 104222: Waitomo: Web-Programming with Objects and Interfaces - Microsoft Research
Waitomo is an experimental programming language derived from Java. It aims to strengthen the guarantees of type safety by eliminating the need for casting without sacrificing the flexibility of the object-oriented programming style. The vital ingredients of the language are generics combined with a new approach to interfaces that includes a notion of self-types and union types. Waitomo interfaces are not types, but rather constraints which can be imposed on generics...
Keywords: Microsoft Research; Microsoft Research Video Archive; Wolfram Schulte; Peter Thiemann
Downloads: 3
[movies]The Genesis Report, Episode 1 - David Thomas O'Toole
Documentary exploration of ontology; theories about the nature of Being. Topics include the Heat Death; the Hindu conception of God; cellular automata.
Keywords: philosophy; ontology; metaphysics; epistemology; lewis; wolfram; von neumann
Downloads: 85
[movies]Microsoft Research Video 104687: Reliability Estimation during Architectural Design - Microsoft Research
Modeling and estimating software reliability during testing is useful in quantifying the quality and dependability of the developed software systems. However, such measurements applied so late in the development process leave done little to improve the quality of the software system in a cost-effective way. Reliability, an important dependability attribute, is defined as the probability that the system performs its intended functionality under specified design limits...
Keywords: Microsoft Research; Microsoft Research Video Archive; Wolfram Schulte; Roshanak Roshandel
Downloads: 5
[movies]Macgasm TV: Figure out what's hot in London, FlickKick Football, Preventing Sunburn, and MinoMonster
With the studio under renovation, we move to Josh's living-room to record this week's episode. Brennan and Suzy talk about a great way to find awesome things to do in London while visiting the Olympics, FlickKick Football, Wolfram Sun Exposure Reference, and Mino Monsters.
Keywords: london olympics; flickkick football; wolfram sun exposure; mino monsters
Downloads: 1
[movies]Microsoft Research Video 104008: MOP: A Generic and Efficient Runtime Verification Framework - Microsoft Research
We present a tool-supported formal software development framework in which runtime monitoring is a basic design principle, called monitoring-oriented programming (MOP). In MOP, the developer specifies desired properties using definable formalisms, along with code to execute when properties are violated or validated. MOP automatically generates monitors from the specified properties and integrates them together with the user-defined code into the original system...
Keywords: Microsoft Research; Microsoft Research Video Archive; Wolfram Schulte; Grigore Rosu
Downloads: 6
[movies]Microsoft Research Video 103793: Abstractions for event-driven design - Microsoft Research
In areas such as GUI programming the design style known as event-driven or publish-subscribe is often attractive as a replacement for standard control structures. It provides more flexibility by decoupling cause and effect. Apart from the Observer pattern, a useful but limited technique, there is no generally accepted view of what the proper OO abstractions should be. The talk describes software architecture principles for designing event-driven systems, with the usual goals of extendibility, re...
Keywords: Microsoft Research; Microsoft Research Video Archive; Wolfram Schulte; Bertrand Meyer
Downloads: 8
[movies]Microsoft Research Video 103610: A Component Language for Structured Concurrent Programming - Microsoft Research
In this talk, I present a new programming language designed for structured concurrency. The language is based on components which are organized in hierarchical and “pointer-free” structures. The components run concurrently and only interact via communication. With this model, hierarchical encapsulation, statefull interactions, race-free concurrency, flexible polymorphism and a simple memory management is enabled...
Keywords: Microsoft Research; Microsoft Research Video Archive; Wolfram Schulte; Luc Blaser
Downloads: 7
[movies]Microsoft Research Video 103568: The Future of Javascript - Microsoft Research
Unexpectedly, JavaScript has become one of the world's most popular programming language while still remaining one of the world's most misunderstood. What does the future hold for this much maligned and deeply flawed language? What can it teach us about the process of standards evolution? Can JavaScript ever become respected? Will JavaScript ultimately save the world?©2008 Microsoft Corporation. All rights reserved.
Keywords: Microsoft Research; Microsoft Research Video Archive; Wolfram Schulte; Douglas Crockford
Downloads: 12
[audio]This Working Droid Episode 112 Wolfram Alpha - pateln01, HeadphonesNeil
This Working DroidEpisode 112Wolfram Alphahttp://geek-io.com
Keywords: podcast; wolfram alpha; smart; search; information; graph; extrapolate; type
Downloads: 19
[movies]Microsoft Research Video 103666: A Marriage of Rely/Guarantee and Separation Logic - Microsoft Research
In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to tame, or control, the complexity of concurrent interactions, but neither is the ultimate approach. Rely guarantee copes naturally with interference, but its specifications are complex because they describe the entire state. Conversely separation logic has difficulty dealing with interference, but its specifications are simpler bec...
Keywords: Microsoft Research; Microsoft Research Video Archive; Wolfram Schulte; Matthew Parkinson
Downloads: 10
[movies]Microsoft Research Video 103562: Compiling the Web - Building a Just-in-Time Compiler for JavaScript - Microsoft Research
Over the last decade we have made great strides towards improving the execution performance of virtual-machine (VM) based high level programming languages. Today, dynamic compilation is standard in most Java and C# VMs, enabling programs written in these languages to execute with similar efficiency as legacy type-unsafe C or assembly code.However, for the past decade much of the research and development effort in the Just-in-Time compilation domain was focused on the runtime compilation of stati...
Keywords: Microsoft Research; Microsoft Research Video Archive; Wolfram Schulte; Andreas Gal
Downloads: 3
[movies]Microsoft Research Video 104591: Using Machine Learning to Verify Systems - Microsoft Research
Automated verification of software systems is a challenging problem because of their large (and often infinite) state-space. In this talk, we explore techniques from computational learning theory for verification of such systems. We show that learning can be effectively used to verify safety properties as well as liveness properties with fairness constraints. We can analyze both linear time and branching time temporal logics (more precisely omega-regular properties and Computational Tree Logic)...
Keywords: Microsoft Research; Microsoft Research Video Archive; Wolfram Schulte; Abhay Vardhan
Downloads: 11
[texts]Zur Waffenkunde des älteren deutschen Mittelalters : mit dreizehn Abbildungen aus Handschriften zur Parcivaldichtung - Schulz, Albert, 1802-1893
52
Keywords: Wolfram von Eschenbach, 12th cent; Arms and armor, German
Downloads: 207
[movies]Microsoft Research Video 103698: Real-Time Concurrent Garbage Collection - Microsoft Research
Creating a garbage-collected environment that supports real-time on modern parallel platforms is notoriously hard, especially if real-time entails lock-freedom. I will present and compare three alternative designs for a highly-responsive, concurrent, lock-free, and low-overhead real-time garbage collector. Next, a simple and effective compiler optimization aimed at reducing the overhead of memory barriers will be presented...
Keywords: Microsoft Research; Microsoft Research Video Archive; Wolfram Schulte; Erez Petrank
Downloads: 5
[movies]Microsoft Research Video 103561: Type Safe Reflective Metaprogramming - Microsoft Research
The template facility of C++, through some serendipity, provides powerful support for metaprogramming and compile-time reflection. However, C++ also has many shortcomings, making C++ template metaprograms inefficient and difficult to maintain. Garcia introduces a calculus for reflective metaprogramming in his thesis that provides all of the power and flexibility of C++ templates and solves many of its problems...
Keywords: Microsoft Research; Microsoft Research Video Archive; Wolfram Schulte; Jeremy Siek
Downloads: 5
[movies]Microsoft Research Video 104783: A CLP Approach to Modelling Systems - Microsoft Research
We present a formal method for modelling the operational behavior of various kinds of systems of concurrent processes. A first objective is that the method be broadly applicable. A system can be described in terms of its processes written in a traditional syntax-based manner, or in some non-traditional form such as a timed automaton. The number of processes may be fixed, or parameterized, or, because of dynamic process creation, unbounded...
Keywords: Microsoft Research; Microsoft Research Video Archive; Wolfram Schulte; Joxan Jaffar
Downloads: 10
[texts]Die sage von Gral - Birch-Hirschfeld, Adolf, 1850-
27
Keywords: Wolfram, von Eschenbach, 12th cent; Grail. Legend
Downloads: 197
[audio]Microsoft Research Audio 103610: A Component Language for Structured Concurrent Programming - Microsoft Research
In this talk, I present a new programming language designed for structured concurrency. The language is based on components which are organized in hierarchical and “pointer-free” structures. The components run concurrently and only interact via communication. With this model, hierarchical encapsulation, statefull interactions, race-free concurrency, flexible polymorphism and a simple memory management is enabled...
Keywords: Microsoft Research; Microsoft Research Audio MP3 Archive; Wolfram Schulte; Luc Blaser
Downloads: 1
[audio]Microsoft Research Audio 104785: When Can Formal Methods Make a Real Difference? - Microsoft Research
This talk will consider a few cases from the ACM Risks Forum archives (http://www.risks.org) for which the sensible use of formal methods could have made a decisive difference in avoiding serious consequences – with respect to requirements, specifications, human interfaces, implementation, and even operation, typically in systems that were supposedly safe, reliable, or secure. This will provide a view to the future in terms of things we can learn about the past.©2004 Microsoft Corporation...
Keywords: Microsoft Research; Microsoft Research Audio MP3 Archive; John Spencer, Wolfram Schulte; Peter Neumann
Downloads: 2
[audio]Microsoft Research Audio 104008: MOP: A Generic and Efficient Runtime Verification Framework - Microsoft Research
We present a tool-supported formal software development framework in which runtime monitoring is a basic design principle, called monitoring-oriented programming (MOP). In MOP, the developer specifies desired properties using definable formalisms, along with code to execute when properties are violated or validated. MOP automatically generates monitors from the specified properties and integrates them together with the user-defined code into the original system...
Keywords: Microsoft Research; Microsoft Research Audio MP3 Archive; Wolfram Schulte; Grigore Rosu
[audio]Microsoft Research Audio 104776: Predicting Value from Design - Microsoft Research
Early design decisions in software projects profoundly affect both the properties and the costs of the eventual implementation. It is much easier and cheaper to change these decisions during design than after implementation has yielded running code. Improvements in our ability to predict properties of an implementation without actually inspecting the code would enable software designers to better understand the consequences of early decisions and would facilitate comparison of design alternative...
Keywords: Microsoft Research; Microsoft Research Audio MP3 Archive; John Spencer, Wolfram Schulte; Mary Shaw
Downloads: 1
[audio]Microsoft Research Audio 104826: Runtime Refinement Checking for Concurrent Data Structures (the VYRD* project: VerifYing Refinement by Runtime Detection) - Microsoft Research
Runtime Refinement Checking for Concurrent Data Structures (the VYRD* project: VerifYing Refinement by Runtime Detection)The goal of the VYRD Project is to develop a runtime verification framework for concurrently accessed data structures. Databases and file systems have such data structures at their core. Stringent performance requirements force the use of tricky synchronization mechanisms for coordinating access to shared data, which makes these systems prone to concurrency errors.In this talk...
Keywords: Microsoft Research; Microsoft Research Audio MP3 Archive; Wolfram Schulte and Shaz Qadeer; Serdar Tasiran
[audio]Microsoft Research Audio 103666: A Marriage of Rely/Guarantee and Separation Logic - Microsoft Research
In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to tame, or control, the complexity of concurrent interactions, but neither is the ultimate approach. Rely guarantee copes naturally with interference, but its specifications are complex because they describe the entire state. Conversely separation logic has difficulty dealing with interference, but its specifications are simpler bec...
Keywords: Microsoft Research; Microsoft Research Audio MP3 Archive; Wolfram Schulte; Matthew Parkinson
Downloads: 1
[audio]drum rehearsal2 - wolfram leitner
fighting with rhythm, the reprogramming of the cerebral hemispheres and coordination in general. my mother appears at the end of the 2nd recording, storming the room and claiming to have heard "noises of suffocation", which were produced by poor hihat-treatment and the cellar room's ceiling which makes the kitchen floor. --- The sound was contributed for TheROOM installation by o.blaat at Medien Kultur Haus, Wels, Austria, 2009.
Keywords: wolfram leitner; drum; rehearsal; TheROOM; o.blaat; Medien Kultur Haus; Wels
Downloads: 34
[audio]Microsoft Research Audio 104783: A CLP Approach to Modelling Systems - Microsoft Research
We present a formal method for modelling the operational behavior of various kinds of systems of concurrent processes. A first objective is that the method be broadly applicable. A system can be described in terms of its processes written in a traditional syntax-based manner, or in some non-traditional form such as a timed automaton. The number of processes may be fixed, or parameterized, or, because of dynamic process creation, unbounded...
Keywords: Microsoft Research; Microsoft Research Audio MP3 Archive; Wolfram Schulte; Joxan Jaffar
Downloads: 3
[audio]drum rehearsal1 - wolfram leitner
fighting with rhythm, the reprogramming of the cerebral hemispheres and coordination in general. my mother appears at the end of the 2nd recording, storming the room and claiming to have heard "noises of suffocation", which were produced by poor hihat-treatment and the cellar room's ceiling which makes the kitchen floor. ---- The sound was contributed for TheROOM installation by o.blaat at Medien Kultur Haus, Wels, Austria, 2009.
Keywords: wolfram leitner; drum; rehearsal; TheROOM; o.blaat; Medien Kultur Haus; Wels
Downloads: 29
[audio]Microsoft Research Audio 103568: The Future of Javascript - Microsoft Research
Unexpectedly, JavaScript has become one of the world's most popular programming language while still remaining one of the world's most misunderstood. What does the future hold for this much maligned and deeply flawed language? What can it teach us about the process of standards evolution? Can JavaScript ever become respected? Will JavaScript ultimately save the world?©2008 Microsoft Corporation. All rights reserved.
Keywords: Microsoft Research; Microsoft Research Audio MP3 Archive; Wolfram Schulte; Douglas Crockford
Downloads: 4
[audio]Microsoft Research Audio 104383: Modular Static Analysis with Sets and Relations - Microsoft Research
We present a new approach for statically analyzing data structure consistency properties. Our approach is based on specifying interfaces of data structures using abstract sets and relations. This enables our system to independently verify thatEach data structure satisfies internal consistency properties and each data structure operation conforms to its interface;The application uses each data structure interface correctly, and maintains the desired global consistency properties that cut across m...
Keywords: Microsoft Research; Microsoft Research Audio MP3 Archive; Wolfram Schulte; Viktor Kuncak
Downloads: 4
[audio]Microsoft Research Audio 103875: Dependable Software via Automated Verification - Microsoft Research
Despite their popularity and importance, pointer-based programs with linked data structures remain a major challenge for program verification. We propose an automated verification system that is concise, precise and expressive for ensuring the safety of pointer-based programs. Our approach is based on separation logic and uses user-definable shape predicates to allow programmers to describe a wide range of data structures with their associated properties.To support automatic verification, we des...
Keywords: Microsoft Research; Microsoft Research Audio MP3 Archive; Wolfram Schulte; Chin Wei Ngan
Downloads: 1
[audio]Yi-Tan Tech Community Call 232 - Speed Round 2009 - (Summary Version) - Jerry Michalski, Pip Coburn
Monday is Labor Day in the U.S., so this week's call is on Tuesday. Time for a speed round! So many interesting products and issues to take sides on. Together, let's discuss: * Are you a fan of the Palm Pre? Why do you like it? * What do we think the iPhone announcement in June holds? * Is there a tablet in Apple's future, too? * Who wins the smartphone race over the next five years? * What should Facebook and Twitter do? * Wolfram Alpha: dog or lion? * Real-Time Web: fad or the future?
Keywords: Palm Pre; iphone; smartphone; facebook; twitter; wolfram alpha; real-time web
Downloads: 3
[1] 2     Next    Last
Advanced search

Group results by:

> Relevance
Mediatype
Collection

Related mediatypes

audio
movies
texts